- performance checking
- Военный термин: проверка приёмистости (автомобиля)
Универсальный англо-русский словарь. Академик.ру. 2011.
Универсальный англо-русский словарь. Академик.ру. 2011.
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia
Bounds-checking elimination — In computer science, bounds checking elimination is a compiler optimization useful in programming languages or runtimes that enforce bounds checking, the practice of consistently checking every index into an array to verify that the index is… … Wikipedia
Design rule checking — or Check(s) (DRC) is the area of Electronic Design Automation that determines whether the physical layout of a particular chip layout satisfies a series of recommended parameters called Design Rules. Design rule checking is a major step during… … Wikipedia
Java performance — Programs written in Java have had a reputation for being slower and requiring more memory than those written in natively compiled languages such as C or C++ (see e.g. [cite web url=http://www.jelovic.com/articles/why java is slow.htm title=Why… … Wikipedia
Government performance auditing — was developed in the late 1960s and shepherded by the United States Government Accountability Office, (the chief audit arm of the US federal government). Government performance auditing has since spread to most state governments and many closely… … Wikipedia
Run-time checking — Runtime checking is a mechanism of a programming language to check for errors at runtime, e.g. arithmetic overflows or invalid type casts. Most times an exception is thrown and/or the program is terminated, instead of ignoring this failure as it… … Wikipedia
19;29 Performance — 19;29 is a London based theatre company who specialise in making work in undiscovered or under explored sites, interrogating the atmosphere and heritage of these spaces and making performances in response to them. The company was formed in 2005… … Wikipedia
Comparison of Java and C++ — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
Andy Bernard — For the economist, see Andrew Bernard. Andy Bernard Ed Helms as Andy Bernard First appearance Gay Witch Hunt Created by … Wikipedia
Concurrency control — In information technology and computer science, especially in the fields of computer programming (see also concurrent programming, parallel programming), operating systems (see also parallel computing), multiprocessors, and databases, concurrency … Wikipedia
CPU cache — Cache memory redirects here. For the general use, see cache. A CPU cache is a cache used by the central processing unit of a computer to reduce the average time to access memory. The cache is a smaller, faster memory which stores copies of the… … Wikipedia